Operating system kernels - PDFSEARCH.IO - Document Search Engine

Operating system kernels
Results: 132

#	Item
111	Improving Linux resource control using CKRM Rik Van Riel Red Hat Inc. Hubertus Franke, Shailabh Nagar Add to Reading List Source URL: ckrm.sourceforge.net Language: English - Date: 2004-11-19 11:15:52 Monolithic kernels Linux-VServer Kernel Operating system Linux kernel Linux Unix File system Server System software Software Computer architecture
112	Prex Embedded Real-time OS Prex is an open source, real-time operating system for embedded systems. Prex is designed specifically for tiny, resource-constrained platforms. It is written in 100% ANSI C and its microkerne Add to Reading List Source URL: prex.sourceforge.net Language: English - Date: 2009-10-05 20:36:00 Embedded operating systems Real-time operating systems Unix Prex Concurrent computing Monolithic kernels Kernel POSIX Thread Computer architecture System software Computing
113	Exploring Recovery from Operating System Lockups Francis M. David, Jeffrey C. Carlyle, Roy H. Campbell University of Illinois at Urbana-Champaign {fdavid,jcarlyle,rhc}@uiuc.edu Abstract Add to Reading List Source URL: choices.cs.uiuc.edu Language: English - Date: 2007-04-26 15:51:51 Process Operating system kernels Linux Linux kernel Interrupt handler Thread Interrupt Scheduling Context switch Computing Computer architecture Computer errors
114	10 Years L4-Based Systems L4/Nizza Secure-System Architecture TU Dresden Operating Add to Reading List Source URL: www.sevecom.org Language: English - Date: 2006-09-11 03:36:46 Kernel Mach IBM Workplace OS Trusted computing base Operating system Ring Operating system kernels Gernot Heiser TUD:OS Computer architecture L4 microkernel family Microkernel
115	Microkernels Meet Recursive Virtual Machines Bryan Ford Mike Hibler Jay Lepreau Patrick Tullmann Godmar Back Stephen Clawson Department of Computer Science, University of Utah Salt Lake City, UT[removed]removed] Add to Reading List Source URL: www.brynosaurus.com Language: English - Date: 2010-09-29 09:18:52 Monolithic kernels Virtual machines Kernel Microkernel L4 microkernel family Architecture of Windows NT Hypervisor Operating system Thread System software Computer architecture Software
116	Advanced Development of Certified OS Kernels Zhong Shao (PI) and Bryan Ford (Co-PI) Department of Computer Science, Yale University P.O.Box[removed], New Haven, CT[removed], USA {zhong.shao,bryan.ford}@yale.edu Technical Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2010-12-20 17:07:49 Concurrent computing Kernel Microkernel Operating system kernels L4 microkernel family Thread Mach Linux kernel Virtual machine Computer architecture System software Software
117	GAURANG KHETAN [removed] http://gaurang.org Add to Reading List Source URL: www.gaurang.org Language: English - Date: 2012-01-09 01:43:40 Computing platforms Cross-platform software Monolithic kernels Embedded operating systems Linux Operating system Unix FreeBSD Kernel Computing Computer architecture Software
118	Can We Make Operating Systems Reliable and Secure? Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2007-03-16 20:15:33 Computing platforms Monolithic kernels MINIX 3 Kernel Microkernel Operating system L4 microkernel family MINIX Linux kernel Computer architecture Computing System software
119	Pintos by Ben Pfaff Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2010-05-18 02:04:11 Pintos Monolithic kernels Kernel GNU Debugger Linux kernel Thread Operating system Mach File system Software System software Computer architecture
120	LEAST PRIVILEGE IN SEPARATION KERNELS Timothy E. Levin, Cynthia E. Irvine, Thuy D. Nguyen Department of Computer Science, Naval Postgraduate School, 833 Dyer Rd., Monterey, CA USA Add to Reading List Source URL: cisr.nps.edu Language: English - Date: 2007-11-15 12:21:15 Separation kernel Principle of least privilege Kernel Ring Linux kernel Trusted computing base Operating system Multilevel security Privilege Computer security Computer architecture Computing

UPDATE